theoremproving machine
[计] 定理证明机
热门查询
- dankness n. 阴湿，潮湿
- shameful adj. 可耻的；不体面的；不道德的；猥亵的
- berry n. 浆果（葡萄，番茄等） vi. 采集浆果 n. (Berry)人名；(法、英、德、意、葡)贝里；(匈)拜里
- seed n. 种子；根据；精液；萌芽；子孙；原由 vt. 播种；结实；成熟；去…籽 vi. 播种；（植物）结实 n. (Seed)人名；(英)锡德
- embankment n. 路堤；堤防
- toronto n. 多伦多（加拿大城市）
- teasingly adv. 烦恼地；故意使人烦恼地
- tedium n. 沉闷；单调乏味；厌烦
- credo n. 信条，教义
- Malling [人名] 马林; [地名] [英国] 莫灵; [地名] [丹麦] 马灵
- Hopwood [人名] [英格兰人姓氏] 霍普伍德住所名称，来源于古英语，含义是“山谷+树林”(valley among hills+wood); [地名] [英国、英国] 霍普伍德
- reductionist n. 还原论者；简化论 adj. 简化（法）的；分解成简单部分的
- letterhead n. 印在信纸的信头；印有信头的信纸
- crankiness n. 偏执；古怪；狂妄
- reflector n. [光] 反射物，[光] 反射镜
- coli n. 大肠杆菌 n. (Coli)人名；(英、法、西、意)科利
- convoy n. 护送；护卫；护航队 vt. 护航；护送
- glum n. (Glum)人名；(德)格卢姆 adj. 阴沉的；忧郁的
- fiver n. 五元美钞，五镑钞票
- pillow n. 枕头 vt. 垫；枕于…；使…靠在 vi. 枕着头；靠在枕上 n. (Pillow)人名；(英)皮洛
考试词汇表
- professional tennis player
- profile keyseating machine
- profile milling gear teeth
- profile of pipe-line route
- profile pole climbing iron
- profile projection methold
- profile testing instrument
- profiled part shaft lining
- profiled sheet metal floor
- profiled spinning aperture
- profit and loss adjustment
- profit on foreign exchange
- profit on stock redemption
- profit or loss on exchange
- profit per ton dirty wheat
- profit responsibility unit
- profit through circulation
- profit-and-loss statements
- profit-making organization
- profit-oriented objectives
